Fostran mot bestämda värden och värdepluralism - två oförenliga teman i Lpo-94?

Sjukdomar och dödsorsaker hos kameldjur i Sverige

Schack i allmänhet och Deep Blue i synnerhet

Till Axel och Knut

Norlund, F. 2018. Psychological distress in coronary heart disease. Risk indicators, treatment and cardiovascular prognosis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Medicine 1412. 75 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-513-0192-1. The aims of this thesis were to: (1) explore factors associated with emotional distress; (2) investigate psy...

Separating Fragments Ofwlem , Lpo ,

We separate many of the basic fragments of classical logic which are used in reverse constructive mathematics. A group of related Kripke and topological models is used to show that various fragments of the Weak Law of the Excluded Middle, the Limited Principle of Omniscience, and Markov’s Principle, including Weak Markov’s Principle, do not imply each other. §

Simple LPO Constraint Solving Methods

We present simple techniques for deciding the satissability of lexicographic path ordering constraints under two diierent semantics: solutions built over the given signature and solutions in extended signatures. For both cases we give the rst NP algorithms, which is optimal as we prove the problems to be NP-complete. We discuss the eecient applicability of the techniques in practice, where, as ...